Theory of Disjunctive Logic Programs
نویسندگان
چکیده
منابع مشابه
Relating Disjunctive Logic Programs to Default Theories
This paper presents the relationship between disjunctive logic programs and default theories. We rst show that Bidoit and Froidevaux's positivist default theory causes a problem in the presence of disjunctive information in a program. Then we present a correct transformation of disjunctive logic programs into default theories and show a one-to-one correspondence between the stable models of a p...
متن کاملOn Extended Disjunctive Logic Programs
This paper studies, in a comprehensive manner, diierent aspects of extended disjunctive logic programs, that is, programs whose clauses are of the form l 1 not is the negation-by-default operator. The explicit use of classical negation suggests the introduction of a new truth value, namely, logical falsehood (in contrast to falsehood-by-default) in the semantics. General techniques are describe...
متن کاملSemantics for Disjunctive Logic Programs with Explicit and Default Negation
The use of explicit negation enhances the expressive power of logic programs by providing a natural and unambiguous way to assert negated information about the domain being represented. We study the semantics of disjunctive programs that contain both explicit negation and negation-by-default, called extended disjunctive logic programs. General techniques are described for extending model, xpoin...
متن کاملDisputation Theory Applied To Disjunctive Logic Programs
The abstract framework of Disputation Theory is applied to disjunctive logic programs with nonmonotonic negation. This induces a particular semantics, which is proved equivalent to a recently proposed one that has been obtained via Argumentation Theory. The distinguishing feature of general Disputation Theory is an abstract scheme for skeptical proof methods, where entailment is established by ...
متن کاملDisjunctive Programs with Set Constraints
We study an extension of disjunctive logic programs called set constraint disjunctive (SCD) programs where the clauses of the program are allowed to have a disjunction of monotone set constraints in their head and arbitrary monotone and antimonotone set constraints in their body. We introduce new class of models called selector stable models which represent all models which can be computed by a...
متن کاملDomain-theoretic Semantics for Disjunctive Logic Programs
We propose three equivalent domain-theoretic semantics for dis-junctive logic programs in the style of Gelfond and Lifschitz. These are (i) a resolution-style inference semantics; (ii) a model-theoretic semantics; and (iii) a (nondeterministic) state-transition semantics. We show how these three semantics generalize \for free" to disjunctive logic programming over any Scott domain. We also rela...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1991